/*
 * phal_timer_config.h
 *
 *  Created on: 22/02/2010
 *      Author: gustavo
 */

#ifndef PHAL_TIMER_CONFIG_H_
#define PHAL_TIMER_CONFIG_H_

#include "../../../Kernel/Core/config/FreeRTOSConfig.h"


#define TIMER0_ENABLE				TRUE

#define TIMER0_TICK_RATE			(configTICK_RATE_HZ)

#define TIMER0_INTERRUPT_PRIORITY	1

#define TIMER0_INTERRUPT_HANDLER() \
	{\
		extern void vSysTickHandler( void );\
		vSysTickHandler();\
	}


#define TIMER1_ENABLE				FALSE

#define TIMER1_TICK_RATE			NULL

#define TIMER1_INTERRUPT_PRIORITY	NULL

#define TIMER1_INTERRUPT_HANDLER()	NULL


#define TIMER2_ENABLE				FALSE

#define TIMER2_TICK_RATE			NULL

#define TIMER2_INTERRUPT_PRIORITY	NULL

#define TIMER2_INTERRUPT_HANDLER()	NULL


#define TIMER3_ENABLE				FALSE

#define TIMER3_TICK_RATE			NULL

#define TIMER3_INTERRUPT_PRIORITY	NULL

#define TIMER3_INTERRUPT_HANDLER()	NULL


#endif /* PHAL_TIMER_CONFIG_H_ */
